Subspace dimension is smaller ↩

Metadata

aliases: []
shorthands: {}
created: 2021-11-14 02:43:09
modified: 2022-01-10 04:13:04

Let

be a subspace of the finite-dimensional vector space

.
Then

Where means dimension.

Proof

This is implied by the fact that the basis of a subspace can be extended to a basis of the vector space.